Model engineering

Results: 11341



#Item
41Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications Paolo Arcaini · Angelo Gargantini · Elvinia Riccobene

Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications Paolo Arcaini · Angelo Gargantini · Elvinia Riccobene

Add to Reading List

Source URL: cs.unibg.it

- Date: 2010-09-13 06:54:26
    42Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report Sina Madani and Dimitrios S. Kolovos Department of Computer Science, University of York, UK {sm1748, dimitris.kolovos}@york.

    Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report Sina Madani and Dimitrios S. Kolovos Department of Computer Science, University of York, UK {sm1748, dimitris.kolovos}@york.

    Add to Reading List

    Source URL: oclworkshop.github.io

    - Date: 2016-10-24 11:16:21
      43A framework to model norm dynamics in Answer Set Programming Sofia Panagiotidi and Juan Carlos Nieves and Javier Vázquez-Salceda Knowledge Engineering and Machine Learning Group Universitat Politecnica de Catalunya, Spa

      A framework to model norm dynamics in Answer Set Programming Sofia Panagiotidi and Juan Carlos Nieves and Javier Vázquez-Salceda Knowledge Engineering and Machine Learning Group Universitat Politecnica de Catalunya, Spa

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2009-08-10 08:38:40
        44A GENERALIZED GAUSS MARKOV MODEL FOR SPACE OBJECTS IN BLIND RESTORATION OF ADAPTIVE OPTICS TELESCOPE IMAGES * Brian D. Jeffst, Sheila Hongt and Julian Christout Computer Engineering, 459 CB, Brigham Young University, Pro

        A GENERALIZED GAUSS MARKOV MODEL FOR SPACE OBJECTS IN BLIND RESTORATION OF ADAPTIVE OPTICS TELESCOPE IMAGES * Brian D. Jeffst, Sheila Hongt and Julian Christout Computer Engineering, 459 CB, Brigham Young University, Pro

        Add to Reading List

        Source URL: www.et.byu.edu

        - Date: 2009-10-14 12:22:25
          45Graduation Project: Computer Science & Engineering master Point-Feature Labelling in the 1-Slider Model: A Fixed-Parameter Tractable Algorithm Supervisor: Dr. Bart M.P. Jansen

          Graduation Project: Computer Science & Engineering master Point-Feature Labelling in the 1-Slider Model: A Fixed-Parameter Tractable Algorithm Supervisor: Dr. Bart M.P. Jansen

          Add to Reading List

          Source URL: alexandria.tue.nl

          - Date: 2015-09-10 03:38:28
            46Enterprise Cloud ANSYS Licensing for Cloud Computing An Open Model for Business Continuity and Cloud Flexibility Rapid growth in the use of ANSYS engineering simulation tools — and in the demand for highperformance c

            Enterprise Cloud ANSYS Licensing for Cloud Computing An Open Model for Business Continuity and Cloud Flexibility Rapid growth in the use of ANSYS engineering simulation tools — and in the demand for highperformance c

            Add to Reading List

            Source URL: resource.ansys.com

            - Date: 2015-05-04 09:44:37
              47A Segmentation Based Variational Model for Accurate Optical Flow Estimation Li Xu, Jianing Chen, and Jiaya Jia Department of Computer Science and Engineering The Chinese University of Hong Kong {xuli,jnchen,leojia}@cse.c

              A Segmentation Based Variational Model for Accurate Optical Flow Estimation Li Xu, Jianing Chen, and Jiaya Jia Department of Computer Science and Engineering The Chinese University of Hong Kong {xuli,jnchen,leojia}@cse.c

              Add to Reading List

              Source URL: www.cse.cuhk.edu.hk

              - Date: 2008-07-21 13:06:01
                48An Original Approach for the Dynamic Simulation of a Crude Oil Distillation Plant I. Building-up a full-scale mathematical model GABRIEL RÃDULESCU* Control Engineering and Computers Department Petroleum - Gas University

                An Original Approach for the Dynamic Simulation of a Crude Oil Distillation Plant I. Building-up a full-scale mathematical model GABRIEL RÃDULESCU* Control Engineering and Computers Department Petroleum - Gas University

                Add to Reading List

                Source URL: www.revistadechimie.ro

                - Date: 2012-01-05 17:00:00
                  49KS_JU@DPIL-FIRE2016:Detecting Paraphrases in Indian Languages Using Multinomial Logistic Regression Model Kamal Sarkar Department of Computer Science and Engineering Jadavpur University, Kolkata, India

                  KS_JU@DPIL-FIRE2016:Detecting Paraphrases in Indian Languages Using Multinomial Logistic Regression Model Kamal Sarkar Department of Computer Science and Engineering Jadavpur University, Kolkata, India

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2016-11-18 14:11:21